MGI:3687453 Ptch1<tm1.1Yy> http://identifiers.org/mgd/MGI:3687453 Ptch1<deltaloxP> Null/knockout targeted mutation 1.1, Yingzi Yang